翻訳と辞書 Words near each other ・ Subglacial lake ・ Subglacial mound ・ Subglacial stream ・ Subglacial volcano ・ Subglottic stenosis ・ Subglottis ・ Subgoal labeling ・ Subgrade ・ Subgradient method ・ Subgrain rotation recrystallization ・ Subgranular zone ・ Subgraph ・ Subgraph isomorphism problem ・ Subgroup ・ Subgroup analysis ・ Subgroup growth ・ Subgroup method ・ Subgroup series ・ Subgroup test ・ Subgrouping ・ Subgroups of Amish ・ Subgroups of cyclic groups ・ Subgum ・ Subh (sultana) ・ Subh Sukh Chain ・ Subh-e-Pakistan ・ Subh-i-Azal ・ Subha ・ Subha (writers) ・ Subha Devakul Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Subgroup growth ： ウィキペディア英語版 Subgroup growth In mathematics, subgroup growth is a branch of group theory, dealing with quantitative questions about subgroups of a given group. Let ''G'' be a finitely generated group. Then, for each integer ''n'' define ''n''(''G'') to be the number of subgroups ''U'' of index ''n'' in ''G''. Similarly, if ''G'' is a topological group, ''s_n(G)'' denotes the number of open subgroups ''U'' of index ''n'' in ''G''. One similarly defines ''m_n(G)'' and $s\_n^\backslash triangleleft(G)$ to denote the number of maximal and normal subgroups of index ''n'', respectively. Subgroup growth studies these functions, their interplay, and the characterization of group theoretical properties in terms of these functions. The theory was motivated by the desire to enumerate finite groups of given order, and the analogy with Mikhail Gromov's notion of word growth. ==Nilpotent groups== Let ''G'' be a finitely generated torsionfree nilpotent group. Then there exists a composition series with infinite cyclic factors, which induces a bijection (not though necessarily a homomorphism). :''Z''''n'' → G such that group multiplication can be expressed by polynomial functions in these coordinates; in particular, the multiplication is definable. Using methods from the model theory of p-adic integers, F. Grunewald, D. Segal and G. Smith showed that the local zeta function :$$ \zeta_(s) = \sum_^\infty s_(G) p^ is a rational function in ''p''−''s''. As an example, let ''G'' be the discrete Heisenberg group. This group has a "presentation" with generators ''x'', ''y'', ''z'' and relations :$$ (y ) = z, (z ) = (z ) = 1. Hence, elements of ''G'' can be represented as triples (''a'', ''b'', ''c'') of integers with group operation given by :$$ (a, b, c)\circ(a', b', c') = (a+a', b+b', c+c'+ab'). To each finite index subgroup ''U'' of ''G'', associate the set of all ``good bases´´ of ''U'' as follows. Note that ''G'' has a normal series :$$ G=\langle x, y, z\rangle\triangleright\langle y, z\rangle\triangleright\langle z\rangle\triangleright 1 with infinite cyclic factors. A triple ''(g_1, g_2, g_3)'' in ''G'' is called a ''good basis'' of ''U'', if ''g_1, g_2, g_3'' generate ''U'', and $g\_2\backslash in\backslash langle\; y,\; z\backslash rangle,\; g\_3\backslash in\backslash langle\; z\backslash rangle$. In general, it is quite complicated to determine the set of good bases for a fixed subgroup ''U''. To overcome this difficulty, one determines the set of all good bases of all finite index subgroups, and determines how many of these belong to one given subgroup. To make this precise, one has to embed the Heisenberg group over the integers into the group over p-adic numbers. After some computations, one arrives at the formula :$$ \zeta_(s) = \frac\int_\mathcal |a_|_p^ |a_|_p^ |a_|_p^\;d\mu, where μ is the Haar measure on ''Z''''p'', $|\backslash cdot|\_p$ denotes the p-adic absolute value and $\backslash mathcal$ is the set of tuples of ''p''-adic integers :$$ \, a_, a_, a_, a_\} such that :$$ \}z^}z^}\} is a good basis of some finite-index subgroup. The latter condition can be translated into :$a\_|a\_\backslash cdot\; a\_$. Now, the integral can be transformed into an iterated sum to yield :$$ \zeta_(s) = \sum_\sum_\sum_^ p^ = \frac)(1-p^)(1-p^)(1-p^)} where the final evaluation consists of repeated application of the formula for the value of the geometric series. From this we deduce that ζ''G''(''s'') can be expressed in terms of the Riemann zeta function as :$$ \zeta_G(s) = \frac. For more complicated examples, the computations become difficult, and in general one cannot expect a closed expression for ζ''G''(''s''). The local factor :$\backslash zeta\_(s)$ can always be expressed as a definable ''p''-adic integral. Applying a result of MacIntyre on the model theory of ''p''-adic integers, one deduces again that ζ''G''(''s'') is a rational function in ''p''−''s''. Moreover, M. du Sautoy and F. Grunewald showed that the integral can be approximated by Artin L-functions. Using the fact that Artin L-functions are holomorphic in a neighbourhood of the line $\backslash Re\; s=1$, they showed that for any torsionfree nilpotent group, the function ζ''G''(''s'') is meromorphic in the domain :Re ''s'' > α − δ, where α is the abscissa of convergence of ζ''G''(''s''), and δ is some positive number, and holomorphic in some neighbourhood of $\backslash Re\; s=\backslash alpha$. Using a Tauberian theorem this implies :$$ \sum_ s_n(G) \sim x^\alpha\log^k x for some real number α and a non-negative integer ''k''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Subgroup growth」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.